Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
00A920 | M. Clavel [Espagne] ; F. Durán [États-Unis] ; S. Eker [États-Unis] ; P. Lincoln [États-Unis] ; N. Martí-Oliet [Espagne] ; J. Meseguer [Espagne] ; J. F. Quesada [Espagne] | The Maude System |
This area was generated with Dilib version V0.6.33. |